1. Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
Author: Rajeev Gore, Alexander Leitsch, Tobias Nipkow )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer logic
Classification :
QA
76
.
L28
Vol
.
2083


2. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
Author: Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1289


3. Methods of Cut-Elimination
Author: / Matthias Baaz, Alexander Leitsch
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving,Proof theory,اثبات قضیه ماشینی,اثبات نظریه
Classification :
QA76
,.
9
.
A96
,
B33
2011


4. The Resolution Calculus
Author: / Alexander Leitsch
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Calculus.
Classification :
QA300
.
L3C2


5. The Resolution calculus
Author: Leitsch, Alexander
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Calculus
Classification :
QA
303
.
L45
R4


6. The resolution calculus
Author: Alexander Leitsch.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Auflösungsprinzip,Automatic theorem proving.,Automatisches Beweisverfahren
Classification :
QA76
.
9
.
A96
A449
1997


7. The resolution calculus
Author: / Alexander Leitsch
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Calculus
Classification :
QA
303
.
L55
1997

